Making All Cardinals Almost Ramsey ∗ † ‡ Arthur
نویسندگان
چکیده
We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ¬ACω in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”.
منابع مشابه
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
Using the analysis developed in our earlier paper [ADK], we show that every uncountable cardinal in Gitik’s model of [Git80] in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of [Git80] is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable card...
متن کاملRamsey-like cardinals II
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementary embeddings” characterization of Ramsey cardinals. A cardinal κ is Ramsey if and only if every subset of κ can be put into a κ-size transitive model of ZFC for which there exists a weakly amenable countably complete ult...
متن کاملA Hierarchy of Ramsey-like Cardinals
We introduce a hierarchy of large cardinals between weakly compact and measurable cardinals, that is closely related to the Ramsey-like cardinals introduced by Victoria Gitman in [Git11], and is based on certain infinite filter games, however also has a range of equivalent characterizations in terms of elementary embeddings. The aim of this paper is to locate the Ramsey-like cardinals studied b...
متن کاملRamsey-like cardinals
One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. I introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. T...
متن کاملEaston's theorem for Ramsey and strongly Ramsey cardinals
We show that, assuming GCH, if κ is a Ramsey or a strongly Ramsey cardinal and F is a class function on the regular cardinals having a closure point at κ and obeying the constraints of Easton’s theorem, namely, F (α) ≤ F (β) for α ≤ β and α < cf(F (α)), then there is a cofinality preserving forcing extension in which κ remains Ramsey or strongly Ramsey respectively and 2δ = F (δ) for every regu...
متن کامل